Structural Contradictions
نویسندگان
چکیده
We study the relation between logical contradictions such as p ∧ ¬p and structural contradictions such as p∩ (p · q). Intuitively, we expect the two to be treated similarly, but they are not by PSL, nor by SVA. We provide a solution that treats both kinds of contradictions in a consistent manner. The solution reveals that not all structural contradictions are created equal: we must distinguish between them in order to preserve important characteristics of the logic. A happy result of our solution is that it provides the semantics over the natural alphabet 2 , as opposed to the current semantics of PSL/SVA that use an inflated alphabet including the cryptic letters > and ⊥. We show that the complexity of model checking PSL/SVA is not affected by our proposed semantics.
منابع مشابه
Basic Health Insurance Stewardship in Line with the Upstream Laws and Policies: Conflicts and Contradictions!!!
One of the serious challenges regarding interactions between Iran’s social security system and health system is basic health insurance stewardship. It has existed for a long time and has been given a special place concerning the related laws and policies in recent years. In this regard, it seems that approving of rules conflicting with upstream laws and policies has increased existing conflicts...
متن کاملContradictions in Value Co-Creation in IT-Enabled Services: A Case of Geocaching
Negative consequences of value co-creation in consumer information systems are rarely assessed in information systems (IS) research. In this empirical case study, we focus on contradictions and structural tensions in information technology (IT)-enabled value co-creation in the case of geocaching. Geocaching is a treasurehunting, recreational activity that uses Global Positioning System (GPS) te...
متن کاملFunctional Segregation within the Muscles of Aquatic Propulsion in the Asiatic Water Monitor (Varanus salvator)
Water monitor lizards (Varanus salvator) swim using sinusoidal oscillations generated at the base of their long (50% of total body length) tail. In an effort to determine which level of the structural/organizational hierarchy of muscle is associated with functional segregation between the muscles of the tail base, an array of muscle features-myosin heavy chain profiles, enzymatic fiber types, t...
متن کامل